Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
نویسندگان
چکیده
منابع مشابه
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
In this paper we formalized some theorems concerning the cyclic groups of prime power order. We formalize that every commutative cyclic group of prime power order is isomorphic to a direct product of family of cyclic groups [1], [18]. Let G be a finite group. The functor Ordset(G) yielding a subset of N is defined by the term (Def. 1) the set of all ord(a) where a is an element of G. One can ch...
متن کاملIsomorphisms of Direct Products of Finite Cyclic Groups
In this article, we formalize that every finite cyclic group is isomorphic to a direct product of finite cyclic groups which orders are relative prime. This theorem is closely related to the Chinese Remainder theorem ([18]) and is a useful lemma to prove the basis theorem for finite abelian groups and the fundamental theorem of finite abelian groups. Moreover, we formalize some facts about the ...
متن کاملFinite groups with $X$-quasipermutable subgroups of prime power order
Let $H$, $L$ and $X$ be subgroups of a finite group$G$. Then $H$ is said to be $X$-permutable with $L$ if for some$xin X$ we have $AL^{x}=L^{x}A$. We say that $H$ is emph{$X$-quasipermutable } (emph{$X_{S}$-quasipermutable}, respectively) in $G$ provided $G$ has a subgroup$B$ such that $G=N_{G}(H)B$ and $H$ $X$-permutes with $B$ and with all subgroups (with all Sylowsubgroups, respectively) $...
متن کاملIsomorphisms of Direct Products of Finite Commutative Groups
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finit...
متن کاملfinite groups with $x$-quasipermutable subgroups of prime power order
let $h$, $l$ and $x$ be subgroups of a finite group$g$. then $h$ is said to be $x$-permutable with $l$ if for some$xin x$ we have $al^{x}=l^{x}a$. we say that $h$ is emph{$x$-quasipermutable } (emph{$x_{s}$-quasipermutable}, respectively) in $g$ provided $g$ has a subgroup$b$ such that $g=n_{g}(h)b$ and $h$ $x$-permutes with $b$ and with all subgroups (with all sylowsubgroups, respectively) $v$...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2013
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2013-0022